divisibility and the division algorithm